<html>
<head><meta charset="utf-8"><title>chalk ICE in rustc tests · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html">chalk ICE in rustc tests</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="242465008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242465008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242465008">(Jun 12 2021 at 18:39)</a>:</h4>
<p>I'm working on switching the compiler from having magical Copy/Clone on arrays to having ordinary library implementations of these. While running UI tests I'm hitting an ICE in the chalk tests, right here: <a href="https://github.com/rust-lang/rust/blob/master/src/test/ui/chalkify/builtin-copy-clone.rs#L30">https://github.com/rust-lang/rust/blob/master/src/test/ui/chalkify/builtin-copy-clone.rs#L30</a> .</p>
<div class="codehilite"><pre><span></span><code>query stack during panic:
#0 [evaluate_goal] evaluating trait selection obligation `environment: [], goal: &lt;std::slice::Iter&lt;i32&gt; as std::iter::Iterator&gt;::Item == &amp;^1_1`
#1 [normalize_projection_ty] normalizing `Canonical { max_universe: U0, variables: [], value: ParamEnvAnd { param_env: ParamEnv { caller_bounds: [], reveal: All }, value: ProjectionTy { substs: [std::iter::Cloned&lt;std::slice::Iter&lt;i32&gt;&gt;], item_def_id: DefId(2:7329 ~ core[a45e]::iter::traits::iterator::Iterator::Item) } } }`
end of query stack
</code></pre></div>
<p>that <code>iter::Cloned</code> value in the query stack would seem to be the new library implementation of <code>[T; N]::clone</code>.</p>
<p>The actual panic is originating from this line: <a href="https://github.com/rust-lang/rust/blob/master/compiler/rustc_traits/src/chalk/lowering.rs#L454">https://github.com/rust-lang/rust/blob/master/compiler/rustc_traits/src/chalk/lowering.rs#L454</a> .</p>



<a name="242465064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242465064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242465064">(Jun 12 2021 at 18:40)</a>:</h4>
<p>Full backtrace:</p>
<div class="spoiler-block"><div class="spoiler-header">
<p>backtrace</p>
</div><div class="spoiler-content" aria-hidden="true">
<p>0: _rust_begin_unwind<br>
   1: core::panicking::panic_fmt<br>
   2: core::panicking::panic<br>
   3: &lt;&amp;rustc_middle::ty::sty::RegionKind as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::Lifetime&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;::lower_into<br>
   4: &lt;rustc_middle::ty::subst::GenericArg as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::GenericArg&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;::lower_into<br>
   5: &lt;chalk_ir::cast::Casted&lt;IT,U&gt; as core::iter::traits::iterator::Iterator&gt;::next<br>
   6: &lt;core::iter::adapters::ResultShunt&lt;I,E&gt; as core::iter::traits::iterator::Iterator&gt;::next<br>
   7: &lt;alloc::vec::Vec&lt;T&gt; as alloc::vec::spec_from_iter::SpecFromIter&lt;T,I&gt;&gt;::from_iter<br>
   8: core::iter::adapters::process_results<br>
   9: &lt;rustc_middle::traits::chalk::RustInterner as chalk_ir::interner::Interner&gt;::intern_substitution<br>
  10: chalk_ir::Substitution&lt;I&gt;::from_iter<br>
  11: &lt;&amp;rustc_middle::ty::list::List&lt;rustc_middle::ty::subst::GenericArg&gt; as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::Substitution&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;::lower_into<br>
  12: &lt;&amp;rustc_middle::ty::TyS as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::Ty&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;::lower_into<br>
  13: &lt;rustc_middle::ty::subst::GenericArg as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::GenericArg&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;::lower_into<br>
  14: &lt;chalk_ir::cast::Casted&lt;IT,U&gt; as core::iter::traits::iterator::Iterator&gt;::next<br>
  15: &lt;core::iter::adapters::ResultShunt&lt;I,E&gt; as core::iter::traits::iterator::Iterator&gt;::next<br>
  16: &lt;alloc::vec::Vec&lt;T&gt; as alloc::vec::spec_from_iter::SpecFromIter&lt;T,I&gt;&gt;::from_iter<br>
  17: core::iter::adapters::process_results<br>
  18: &lt;rustc_middle::traits::chalk::RustInterner as chalk_ir::interner::Interner&gt;::intern_substitution<br>
  19: chalk_ir::Substitution&lt;I&gt;::from_iter<br>
  20: &lt;&amp;rustc_middle::ty::list::List&lt;rustc_middle::ty::subst::GenericArg&gt; as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::Substitution&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;::lower_into<br>
  21: &lt;rustc_middle::ty::sty::ProjectionTy as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::AliasTy&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;::lower_into<br>
  22: &lt;rustc_middle::ty::Predicate as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::GoalData&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;::lower_into<br>
  23: &lt;rustc_middle::traits::chalk::ChalkEnvironmentAndGoal as rustc_traits::chalk::lowering::LowerInto&lt;chalk_ir::InEnvironment&lt;chalk_ir::Goal&lt;rustc_middle::traits::chalk::RustInterner&gt;&gt;&gt;&gt;::lower_into<br>
  24: rustc_traits::chalk::evaluate_goal<br>
  25: rustc_query_impl::&lt;impl rustc_query_system::query::config::QueryAccessors&lt;rustc_query_impl::plumbing::QueryCtxt&gt; for rustc_query_impl::queries::evaluate_goal&gt;::compute<br>
  26: rustc_data_structures::stack::ensure_sufficient_stack<br>
  27: rustc_query_system::query::plumbing::get_query_impl<br>
  28: rustc_query_system::query::plumbing::get_query<br>
  29: &lt;rustc_query_impl::Queries as rustc_middle::ty::query::QueryEngine&gt;::evaluate_goal<br>
  30: &lt;rustc_trait_selection::traits::chalk_fulfill::FulfillmentContext as rustc_infer::traits::engine::TraitEngine&gt;::select_where_possible<br>
  31: &lt;rustc_infer::infer::InferCtxtBuilder as rustc_trait_selection::infer::InferCtxtBuilderExt&gt;::enter_canonical_trait_query<br>
  32: rustc_traits::normalize_projection_ty::normalize_projection_ty<br>
  33: rustc_query_impl::&lt;impl rustc_query_system::query::config::QueryAccessors&lt;rustc_query_impl::plumbing::QueryCtxt&gt; for rustc_query_impl::queries::normalize_projection_ty&gt;::compute<br>
  34: rustc_data_structures::stack::ensure_sufficient_stack<br>
  35: rustc_query_system::query::plumbing::get_query_impl<br>
  36: rustc_query_system::query::plumbing::get_query<br>
  37: &lt;rustc_query_impl::Queries as rustc_middle::ty::query::QueryEngine&gt;::normalize_projection_ty<br>
  38: &lt;rustc_trait_selection::traits::query::normalize::QueryNormalizer as rustc_middle::ty::fold::TypeFolder&gt;::fold_ty<br>
  39: rustc_middle::ty::structural_impls::&lt;impl rustc_middle::ty::fold::TypeFoldable for &amp;rustc_middle::ty::TyS&gt;::super_fold_with<br>
  40: &lt;rustc_trait_selection::traits::query::normalize::QueryNormalizer as rustc_middle::ty::fold::TypeFolder&gt;::fold_ty<br>
  41: rustc_middle::ty::fold::TypeFoldable::fold_with<br>
  42: rustc_middle::ty::fold::TypeFoldable::fold_with<br>
  43: rustc_middle::ty::structural_impls::&lt;impl rustc_middle::ty::fold::TypeFoldable for &amp;rustc_middle::ty::TyS&gt;::super_fold_with<br>
  44: &lt;rustc_trait_selection::traits::query::normalize::QueryNormalizer as rustc_middle::ty::fold::TypeFolder&gt;::fold_ty<br>
  45: rustc_middle::ty::fold::TypeFoldable::fold_with<br>
  46: &lt;rustc_infer::infer::at::At as rustc_trait_selection::traits::query::normalize::AtExt&gt;::normalize<br>
  47: rustc_infer::infer::InferCtxtBuilder::enter<br>
  48: rustc_traits::normalize_erasing_regions::normalize_after_erasing_regions<br>
  49: rustc_query_system::query::plumbing::get_query_impl<br>
  50: rustc_query_system::query::plumbing::get_query<br>
  51: &lt;rustc_middle::ty::normalize_erasing_regions::NormalizeAfterErasingRegionsFolder as rustc_middle::ty::fold::TypeFolder&gt;::fold_ty<br>
  52: rustc_middle::ty::normalize_erasing_regions::&lt;impl rustc_middle::ty::context::TyCtxt&gt;::subst_and_normalize_erasing_regions<br>
  53: &lt;rustc_mir::monomorphize::collector::MirNeighborCollector as rustc_middle::mir::visit::Visitor&gt;::visit_terminator<br>
  54: rustc_middle::mir::visit::Visitor::visit_body<br>
  55: rustc_mir::monomorphize::collector::collect_neighbours<br>
  56: rustc_data_structures::stack::ensure_sufficient_stack<br>
  57: rustc_mir::monomorphize::collector::collect_items_rec<br>
  58: rustc_mir::monomorphize::collector::collect_items_rec<br>
  59: rustc_mir::monomorphize::collector::collect_items_rec<br>
  60: rustc_mir::monomorphize::collector::collect_items_rec<br>
  61: rustc_mir::monomorphize::collector::collect_items_rec<br>
  62: rustc_mir::monomorphize::collector::collect_items_rec<br>
  63: rustc_session::utils::&lt;impl rustc_session::session::Session&gt;::time<br>
  64: rustc_mir::monomorphize::collector::collect_crate_mono_items<br>
  65: rustc_mir::monomorphize::partitioning::collect_and_partition_mono_items<br>
  66: rustc_query_impl::&lt;impl rustc_query_system::query::config::QueryAccessors&lt;rustc_query_impl::plumbing::QueryCtxt&gt; for rustc_query_impl::queries::collect_and_partition_mono_items&gt;::compute<br>
  67: rustc_data_structures::stack::ensure_sufficient_stack<br>
  68: rustc_query_system::query::plumbing::get_query_impl<br>
  69: rustc_query_system::query::plumbing::get_query<br>
  70: &lt;rustc_query_impl::Queries as rustc_middle::ty::query::QueryEngine&gt;::collect_and_partition_mono_items<br>
  71: rustc_codegen_ssa::base::codegen_crate<br>
  72: &lt;rustc_codegen_llvm::LlvmCodegenBackend as rustc_codegen_ssa::traits::backend::CodegenBackend&gt;::codegen_crate<br>
  73: rustc_session::utils::&lt;impl rustc_session::session::Session&gt;::time<br>
  74: rustc_interface::passes::start_codegen<br>
  75: rustc_interface::passes::QueryContext::enter<br>
  76: rustc_interface::queries::Query&lt;T&gt;::compute<br>
  77: rustc_interface::queries::Queries::ongoing_codegen<br>
  78: rustc_interface::queries::&lt;impl rustc_interface::interface::Compiler&gt;::enter<br>
  79: rustc_span::with_source_map<br>
  80: rustc_interface::interface::create_compiler_and_run<br>
  81: scoped_tls::ScopedKey&lt;T&gt;::set<br>
  82: rustc_span::with_session_globals</p>
</div></div>



<a name="242465138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242465138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242465138">(Jun 12 2021 at 18:42)</a>:</h4>
<p>I don't quite understand why chalk is failing here, I feel like it shouldn't generally have a problem with evaluating iter::cloned and at first glance I don't see anything array-specific that could be causing this. but this is my first time looking at chalk</p>



<a name="242465715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242465715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242465715">(Jun 12 2021 at 18:56)</a>:</h4>
<p>I would expect that I would have to make <em>some</em> change to chalk, since I had to modify the existing trait selection code in order to tell it to use the stdlib's implementations of Copy/Clone. but I have no idea where in chalk is currently taking care of implementing Copy/Clone on arrays</p>



<a name="242465901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242465901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242465901">(Jun 12 2021 at 18:59)</a>:</h4>
<p>So, you'll probably just want to ignore that test for now</p>



<a name="242465913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242465913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242465913">(Jun 12 2021 at 18:59)</a>:</h4>
<p>But it's a pretty fix on the chalk side</p>



<a name="242466003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466003">(Jun 12 2021 at 19:00)</a>:</h4>
<p>It's a bit curious it starts failing. Trying to think why that might be. I thought the builtin impl would override the manual impl. But it's been a bit since I looked at the code</p>



<a name="242466038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466038">(Jun 12 2021 at 19:01)</a>:</h4>
<p>Oh I just looked at the actual error</p>



<a name="242466106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466106">(Jun 12 2021 at 19:02)</a>:</h4>
<p>Chalk has an erased variant now, so that just needs to be lowered properly</p>



<a name="242466201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466201">(Jun 12 2021 at 19:04)</a>:</h4>
<p>is chalk smart enough to know not to attempt to fudge the Copy/Clone bound on arrays if it finds impls in std?</p>



<a name="242466212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466212">(Jun 12 2021 at 19:05)</a>:</h4>
<p>because in the existing trait engine I had to change this function to make that happen: <a href="https://github.com/rust-lang/rust/blob/master/compiler/rustc_trait_selection/src/traits/select/mod.rs#L1618">https://github.com/rust-lang/rust/blob/master/compiler/rustc_trait_selection/src/traits/select/mod.rs#L1618</a></p>



<a name="242466316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466316">(Jun 12 2021 at 19:07)</a>:</h4>
<p>I just feel like there has to be some array-specific shenanigan going on here, because otherwise that would seem to imply that chalk can't even evaluate a trivial iterator</p>



<a name="242466562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466562">(Jun 12 2021 at 19:12)</a>:</h4>
<p>Well, I think chalk will just use the existing logic</p>



<a name="242466583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466583">(Jun 12 2021 at 19:13)</a>:</h4>
<p>It has basically the equivalent of that code</p>



<a name="242466616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466616">(Jun 12 2021 at 19:13)</a>:</h4>
<p>Worst case, if the test isn't fixed by lowering the erased regions correctly, just ignore the test and I'll get to it at some point</p>



<a name="242466673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466673">(Jun 12 2021 at 19:14)</a>:</h4>
<p>do you remember what the equivalent function in chalk is called? I've grepped for copy and clone with no luck</p>



<a name="242466683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466683">(Jun 12 2021 at 19:14)</a>:</h4>
<p>grepping for Array also doesn't turn up anything that looks useful</p>



<a name="242466690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466690">(Jun 12 2021 at 19:14)</a>:</h4>
<p>One sec</p>



<a name="242466727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466727">(Jun 12 2021 at 19:15)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/blob/b9419bbfa9e7ff2830229db465244482f9d74ca2/chalk-solve/src/clauses/builtin_traits/copy.rs#L34">https://github.com/rust-lang/chalk/blob/b9419bbfa9e7ff2830229db465244482f9d74ca2/chalk-solve/src/clauses/builtin_traits/copy.rs#L34</a></p>



<a name="242466801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242466801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242466801">(Jun 12 2021 at 19:16)</a>:</h4>
<p>ah, I've just been grepping in compiler/rustc_traits/src/chalk, I didn't realize this wasn't the full repo</p>



<a name="242467584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242467584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242467584">(Jun 12 2021 at 19:31)</a>:</h4>
<p>with chalk being out-of-tree like this I'm not sure how to manage this transition. I guess for now I'll just take your advice and ignore the test for now, and I'll file an issue in the rust repo about un-ignoring the test once chalk has been updated and rustc has upgraded</p>



<a name="242467663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242467663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242467663">(Jun 12 2021 at 19:32)</a>:</h4>
<p>thanks for your help!</p>



<a name="242468099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242468099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242468099">(Jun 12 2021 at 19:42)</a>:</h4>
<p>No problem!</p>



<a name="242479607"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242479607" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242479607">(Jun 13 2021 at 00:02)</a>:</h4>
<p><span class="user-mention" data-user-id="256342">@bstrie</span> probably should have said that an issue wasn't needed (if anything probably a chalk issue when PR is merged)</p>



<a name="242519733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242519733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bstrie <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242519733">(Jun 13 2021 at 16:45)</a>:</h4>
<p>I'd be happy to file a chalk issue when that PR gets merged, though I think it's still useful to have an issue in the rustc repo since it involves a test in that repo</p>



<a name="242533590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/chalk%20ICE%20in%20rustc%20tests/near/242533590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/chalk.20ICE.20in.20rustc.20tests.html#242533590">(Jun 13 2021 at 22:18)</a>:</h4>
<p>Eh, honestly, at this stage, it's <em>not</em> that useful imo to have issues on the rustc repo for chalk things. Mostly because most things don't work right now anyways</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>